| 1. | Abstract : for a precise dataflow analysis within the framework of the computation function model , the logical relationship of branch conditions is represented as the coverage relationship of regions . in this paper , the authors discuss how to represent , compute and propagate the region , region of the conditional reference . meanwhile , the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information
文摘:用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递区域、区域，并在数据流分析过程中,利用区域、区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息 |
